- недоказуемая формула
- unprovable formula мат.
Русско-английский научно-технический словарь Масловского. 2015.
недоказуемая формула
Look at other dictionaries:
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
О формально неразрешимых предложениях — «О ФОРМАЛЬНО НЕРАЗРЕШИМЫХ ПРЕДЛОЖЕНИЯХ» классическая работа К. Геделя (Godel К. Uber formal unentscheidbare Satze der Principia Mathemati ca und verwandter Systeme, I // Monatshefte fur Mathematik und. Physik. 1931. Bd. 38. S. 173 198;… … Энциклопедия эпистемологии и философии науки
